Nuprl Definition : find-random 11,40
find-random{$k}(C;p;a;b) is Primitive 
latex

FDL editor aliasesfind-random

origin